Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
31	Contents Foreword xiii Preface Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2008-04-04 05:03:58 Temporal logic Model checkers Mathematics Model checking Linear temporal logic Computation tree logic PAT Bisimulation Probabilistic bisimulation Theoretical computer science Logic in computer science Applied mathematics
32	CCCG 2011, Toronto ON, August 10–12, 2011 Sequential Dependency Computation via Geometric Data Structures Gruia Calinescu ∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2011-08-06 04:11:13 Mathematical optimization Operations research Optimal control Systems engineering Fractional cascading Summation Van Emde Boas tree Mathematics Dynamic programming Equations
33	Open Problems in Parameterized and Exact Computation — IWPEC 2008 Hans L. Bodlaender Erik D. Demaine Michael R. Fellows Jiong Guo Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-10-14 09:04:12 NP-complete problems Parameterized complexity Kernelization Path decomposition Clique Tree decomposition Vertex cover Dominating set Edge coloring Graph theory Theoretical computer science Mathematics
34	Algorithms Lecture 3: Backtracking [Fa’14] ’Tis a lesson you should heed, Try, try again; Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:02:21 Search algorithms Computability theory Theory of computation Programming idioms Backtracking Recursion Eight queens puzzle Tree traversal Longest increasing subsequence Mathematics Applied mathematics Theoretical computer science
35	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
36	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
37	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
38	Bidirectional Computation Bidirectional Computation is WANTED in SE BiX: A Bidirectional Tree Transformation Language Bidirectional Graph Computation: Bidirectionalizing ATL Conclusion Add to Reading List Source URL: www.biglab.org Language: English - Date: 2011-01-08 13:03:57 Computation Mathematics Applied mathematics Computing Bidirectional transformation Computability theory Bi-directional text
39	SSVAn Abstract Specification Language for Static Program Analysis Michael Vistein Frank Ortmeier Wolfgang Reif Lehrstuhl f¨ Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2011-08-18 01:13:32 Mathematical logic Computing NuSMV XML Static single assignment form Model checking Linear temporal logic Computation tree logic Type system Theoretical computer science Temporal logic Logic in computer science
40	String Suffix Automata and Subtree Pushdown Automata Add to Reading List Source URL: www.stringology.org Language: English - Date: 2009-09-02 12:00:50 Formal languages Computer science Mathematics Deterministic pushdown automaton Pushdown automaton Tree automaton Alphabet A Automata theory Models of computation Theoretical computer science

UPDATE